Collapsible Contracts: Fixing a Pathology of Gradual Typing DANIEL FELTEY, Northwestern University, USA BEN GREENMAN, Northeastern University, USA CHRISTOPHE SCHOLLIERS, Ghent University, Belgium ROBERT BRUCE FINDLER, No

Source URL: users.eecs.northwestern.edu

• Algebra
• Vectors
• Mathematics
• Vector calculus
• Linear algebra
• Abstract algebra
• Euclidean vector
• Vector
• Position

Extensible Access Control with Authorization Contracts Scott Moore Christos Dimoulas Robert Bruce Findler

Source URL: people.seas.harvard.edu

Lexical Ambiguity and Information Retrieval Robert Krovetz W. Bruce Croft Computer and Information Science Department University of Massachusetts, Amherst, MAAbstract

Source URL: lexicalresearch.com

POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin

Source URL: www.eecs.northwestern.edu

A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

Source URL: www.eecs.northwestern.edu

• Computer programming
• Software engineering
• Type theory
• Declarative programming
• Functional programming
• Adjoint functors
• Monad
• HindleyMilner type system
• Variety
• Redblack tree
• List

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System Burke Fetscher1 , Koen Claessen2 , Michał Pałka2 , John Hughes2 , and Robert Bruce Findler1 1

Source URL: www.eecs.northwestern.edu

• Programming paradigms
• Software engineering
• Logic programming
• Linguistics
• Theoretical computer science
• Constraint programming
• Constraint logic programming
• Systemic functional linguistics
• Metafunction
• Lambda calculus
• Constraint satisfaction
• Concurrent constraint logic programming

A Semantics for Context-Sensitive Reduction Semantics Casey Klein1 , Jay McCarthy2 , Steven Jaconette1 , and Robert Bruce Findler1 1 2 Northwestern University

Source URL: www.eecs.northwestern.edu

1 Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) VINCENT ST-AMOUR, DANIEL FELTEY, SPENCER P. FLORENCE, SHU-HUNG YOU, and ROBERT BRUCE FINDLER, PLT @ Northwestern University, USA

Source URL: florence.io

A Visual Environment for Developing Context-Sensitive Term Rewriting Systems Jacob Matthews1 , Robert Bruce Findler1 , Matthew Flatt2 , and Matthias Felleisen3 1 University of Chicago {jacobm, robby}@cs.uchicago.edu

Source URL: www.cs.utah.edu

Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa

Source URL: www.eecs.northwestern.edu